Proof-theoretic uniform boundedness and bounded collection principles and countable Heine–Borel compactness
نویسندگان
چکیده
Abstract In this note we show that proof-theoretic uniform boundedness or bounded collection principles which allow one to formalize certain instances of countable Heine–Borel compactness in proofs using abstract metric structures must be carefully distinguished from an unrestricted use compactness.
منابع مشابه
Countable Choice and Compactness
We work in set-theory without choice ZF. Denoting by AC(N) the countable axiom of choice, we show in ZF+AC(N) that the closed unit ball of a uniformly convex Banach space is compact in the convex topology (an alternative to the weak topology in ZF). We prove that this ball is (closely) convex-compact in the convex topology. Given a set I, a real number p ≥ 1 (resp. p = 0), and some closed subse...
متن کاملCompactness in Countable Tychonoff Products and Choice
We study the relationship between the countable axiom of choice and the Tychonoff product theorem for countable families of topological spaces.
متن کاملThe Uniform Boundedness Principle for Order Bounded Operators
Under appropriate hypotheses on the spaces, it is shown that a sequence of order bounded llnear operators which is poJntwJse order bounded is uniformly order bounded on order bounded subsets. This result is used to establish a Banach-Stelnhaus Theorem for order bounded operators.
متن کاملOn effective σ-boundedness and σ-compactness
We prove several dichotomy theorems which extend some known results on σ -bounded and σ -compactpointsets. In particular we show that, given a finite number of Δ1 equivalence relations F1 , . . . , Fn , any Σ1 set A of the Baire space either is covered by compact Δ1 sets and lightface Δ1 equivalence classes of the relations Fi , or A contains a superperfect subset which is pairwise Fi -inequiva...
متن کاملUniform Boundedness Principles for Ordered Topological Vector Spaces
We obtain uniform boundedness principles for a new class of families of mappings from topological vector spaces to ordered topological vector spaces. The new class of families of mappings includes the family of linear mappings and many other families which consist of nonlinear mappings. 1 Department of Mathematics, Tianjin University, Tianjin 300072, China. E-mail address: [email protected]...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Archive for Mathematical Logic
سال: 2021
ISSN: ['1432-0665', '0933-5846']
DOI: https://doi.org/10.1007/s00153-021-00771-w